IAbMonoid{i}  Type{i'} 

latex

Up	groups 1
Definitions of Statement	IMonoid, IAbMonoid
Definitions	IAbMonoid, t  T, , x:A. B(x), IMonoid
Lemmas	grp op wf, grp car wf, comm wf, imon wf